<html>
<head><meta charset="utf-8"><title>stream events · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html">stream events</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201852299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Notification Bot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852299">(Jun 24 2020 at 14:14)</a>:</h4>
<p>Stream created by <span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span>.</p>



<a name="201852411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852411">(Jun 24 2020 at 14:15)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> have created this stream and subscribed everyone that is signed up on <a class="stream" data-stream-id="227806" href="/#narrow/stream/227806-t-compiler.2Fwg-prioritization">#t-compiler/wg-prioritization</a></p>



<a name="201852440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852440">(Jun 24 2020 at 14:15)</a>:</h4>
<p>so we can move our alerts here and leave the other stream for discussions</p>



<a name="201852506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852506">(Jun 24 2020 at 14:16)</a>:</h4>
<p>Oh this is great</p>



<a name="201852835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852835">(Jun 24 2020 at 14:18)</a>:</h4>
<p>created <span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> too</p>



<a name="201852853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852853">(Jun 24 2020 at 14:18)</a>:</h4>
<p>for now I've copied everyone</p>



<a name="201852941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852941">(Jun 24 2020 at 14:19)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> now we need to change triagebot to make it open all the topics here and ping the alerts group</p>



<a name="201852974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852974">(Jun 24 2020 at 14:19)</a>:</h4>
<p>people that do not want to be on alerts group, let me know and I can remove them</p>



<a name="201852992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201852992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201852992">(Jun 24 2020 at 14:19)</a>:</h4>
<p>All we need is the ID of the stream</p>



<a name="201853443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853443">(Jun 24 2020 at 14:23)</a>:</h4>
<p>yep</p>



<a name="201853611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853611">(Jun 24 2020 at 14:24)</a>:</h4>
<p>how do you want to make this change? would it make sense to place everything in <a href="https://github.com/rust-lang/rust/issues/73695">#73695</a> or should we just merge that and fix this afterwards?</p>



<a name="201853612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853612">(Jun 24 2020 at 14:24)</a>:</h4>
<p>Can you fetch it for me? I’m on my phone rn :D</p>



<a name="201853702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853702">(Jun 24 2020 at 14:24)</a>:</h4>
<p><a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts">https://rust-lang.zulipchat.com/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts</a></p>



<a name="201853718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853718">(Jun 24 2020 at 14:24)</a>:</h4>
<p>I guess is that number, right?</p>



<a name="201853724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853724">(Jun 24 2020 at 14:24)</a>:</h4>
<p>245100</p>



<a name="201853725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853725">(Jun 24 2020 at 14:24)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/stream.20events/near/201852974">said</a>:</p>
<blockquote>
<p>people that do not want to be on alerts group, let me know and I can remove them</p>
</blockquote>
<p>Apparently I was able to just remove myself <span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span> I might want to get added back in once I have more free time again, will see how well it works without getting pinged</p>



<a name="201853764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853764">(Jun 24 2020 at 14:25)</a>:</h4>
<p>Yes that’s it</p>



<a name="201853827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853827">(Jun 24 2020 at 14:25)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> I'd suggest to not remove pings for the topics as a way to start with this schema</p>



<a name="201853912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201853912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201853912">(Jun 24 2020 at 14:26)</a>:</h4>
<p>but unsure, I guess you should define because I'm going to remove myself from the group cause I check that preemptively</p>



<a name="201854031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201854031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201854031">(Jun 24 2020 at 14:26)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@lcnr</span> you can unsubscribe/subscribe to streams whenever you want <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span> (that should also take care of the notification iirc)</p>



<a name="201854842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201854842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201854842">(Jun 24 2020 at 14:32)</a>:</h4>
<p>Yeah, but I wasn't sure if it's possible to enter/exit groups</p>



<a name="201854922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201854922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201854922">(Jun 24 2020 at 14:32)</a>:</h4>
<p>^ exit <span aria-label="check mark" class="emoji emoji-2714" role="img" title="check mark">:check_mark:</span> enter <span aria-label="cross mark" class="emoji emoji-274c" role="img" title="cross mark">:cross_mark:</span></p>



<a name="201855727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201855727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201855727">(Jun 24 2020 at 14:38)</a>:</h4>
<p>IIUC you can manage a group if you’re part or it?</p>



<a name="201856305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201856305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201856305">(Jun 24 2020 at 14:42)</a>:</h4>
<p>yeah, I think I can even remove other people</p>



<a name="201856328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201856328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201856328">(Jun 24 2020 at 14:43)</a>:</h4>
<p>which I didn't try though</p>



<a name="201856626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201856626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201856626">(Jun 24 2020 at 14:45)</a>:</h4>
<p>Me neither :D</p>



<a name="201858040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201858040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201858040">(Jun 24 2020 at 14:55)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I think this problem is quite complex, because I can see 2 possible kinds of people:</p>
<ul>
<li>ppl who want to get notified</li>
<li>ppl who don’t want to be notified but want to still follow along and participate in discussions</li>
</ul>
<p>Also eventually ppl may also not want to be flooded by messages, even if they don’t ping.</p>
<p>The solution would be to use this stream and the new ping, so that ppl in 1) can get notified while ppl in 2) can follow the discussions without getting pinged. And also eventually if ppl want to ignore those notifs they can unsubscribe from this stream.</p>



<a name="201859507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201859507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201859507">(Jun 24 2020 at 15:04)</a>:</h4>
<p>yes and also people can mute this stream</p>



<a name="201859573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201859573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201859573">(Jun 24 2020 at 15:05)</a>:</h4>
<p>but I guess you guys should decide in which topics of this stream you want to ping</p>



<a name="201859605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201859605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201859605">(Jun 24 2020 at 15:05)</a>:</h4>
<p><code>I-prioritize</code> seems to be a clear one</p>



<a name="201859639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201859639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201859639">(Jun 24 2020 at 15:05)</a>:</h4>
<p>unsure about the rest</p>



<a name="201859804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201859804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201859804">(Jun 24 2020 at 15:06)</a>:</h4>
<p>I guess <span class="user-mention silent" data-user-id="216206">lcnr</span> was the one that didn't want to be pinged and they are going to unsubscribe so I think I'd just ping on all the streams as we are currently doing</p>



<a name="201869690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201869690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201869690">(Jun 24 2020 at 16:19)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/stream.20events/near/201852440">said</a>:</p>
<blockquote>
<p>so we can move our alerts here and leave the other stream for discussions</p>
</blockquote>
<p>what does that mean? what are "alerts"?</p>



<a name="201869858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201869858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201869858">(Jun 24 2020 at 16:20)</a>:</h4>
<p>I am subscribed to the prioritization stream (what an unspellable word^^) just because I get mentioned sometimes, I don't actually follow the discussions -- so I guess I can unsubscribe the alert stream?</p>



<a name="201870600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201870600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201870600">(Jun 24 2020 at 16:27)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> alerts are when issues get requested for prioritisation , nomination and the like</p>



<a name="201870641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201870641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201870641">(Jun 24 2020 at 16:27)</a>:</h4>
<p>so whenever the label is added, it mentions the group here and creates a thread for it</p>



<a name="201872273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201872273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201872273">(Jun 24 2020 at 16:41)</a>:</h4>
<p>but the thread is in the main stream?</p>



<a name="201872592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201872592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201872592">(Jun 24 2020 at 16:44)</a>:</h4>
<p>I think the main stream is now only for meetings and discussions...</p>



<a name="201872601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201872601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201872601">(Jun 24 2020 at 16:44)</a>:</h4>
<p>All threads created automatically will be created here</p>



<a name="201872701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201872701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201872701">(Jun 24 2020 at 16:45)</a>:</h4>
<p>you can probably unsubscribe wg-prioritization and only mute wg-prioritization/alerts</p>



<a name="201874199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201874199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201874199">(Jun 24 2020 at 16:57)</a>:</h4>
<p>right, probably for people that do not belong to the working group is more interesting to be in this group and not in the other one</p>



<a name="201874256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201874256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201874256">(Jun 24 2020 at 16:57)</a>:</h4>
<p><a class="stream" data-stream-id="227806" href="/#narrow/stream/227806-t-compiler.2Fwg-prioritization">#t-compiler/wg-prioritization</a> will be for meetings and discussions about our process and things like that</p>



<a name="201874349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201874349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201874349">(Jun 24 2020 at 16:58)</a>:</h4>
<p><a class="stream" data-stream-id="245100" href="/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts">#t-compiler/wg-prioritization/alerts</a> will be about issues and we will be discussing issues here</p>



<a name="201874453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/201874453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#201874453">(Jun 24 2020 at 16:59)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120791">RalfJ</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/stream.20events/near/201869858">said</a>:</p>
<blockquote>
<p>I am subscribed to the prioritization stream (what an unspellable word^^) just because I get mentioned sometimes, I don't actually follow the discussions -- so I guess I can unsubscribe the alert stream?</p>
</blockquote>
<p>so answering your question more concretely, you would want to be in this one for sure but unsure if you want to follow discussions about our process :)</p>



<a name="202593854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202593854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202593854">(Jul 01 2020 at 16:51)</a>:</h4>
<p>it may be too late for me to complain about this, but: For me on zulip, the presentation of the side bar cannot be widened, and so streams with long matching prefixes are not distinguishable (other than remembering which one comes first)</p>



<a name="202594032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202594032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202594032">(Jul 01 2020 at 16:52)</a>:</h4>
<p>I guess this is my way of saying "gee it maybe would have been better if we had figured out a different name for this stream, one where some difference occurs early in the string."</p>



<a name="202594070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202594070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202594070">(Jul 01 2020 at 16:52)</a>:</h4>
<p>but then again, I suppose it is a <em>good</em> thing that these two streams are neighbors in the list (and probably always will be...)</p>



<a name="202594116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202594116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202594116">(Jul 01 2020 at 16:53)</a>:</h4>
<p>It seems fine to me to name it <code>prioritization-alerts</code>, though that would "break" the patterns used everywhere else</p>



<a name="202594149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202594149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202594149">(Jul 01 2020 at 16:53)</a>:</h4>
<p>And also break the alphabetical order, right, didn't think about that</p>



<a name="202594152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202594152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202594152">(Jul 01 2020 at 16:53)</a>:</h4>
<p>wg-prio might work?</p>



<a name="202594154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202594154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202594154">(Jul 01 2020 at 16:53)</a>:</h4>
<p>yes the streams are indistinguishable by reading the text. But colors are different (at least on my client), that helps me a bit</p>



<a name="202594212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202594212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202594212">(Jul 01 2020 at 16:54)</a>:</h4>
<p><a href="/user_uploads/4715/logwMAustdk5jQP9wtjm8o2u/2020-07-01_185350.png">2020-07-01_185350.png</a></p>
<div class="message_inline_image"><a href="/user_uploads/4715/logwMAustdk5jQP9wtjm8o2u/2020-07-01_185350.png" title="2020-07-01_185350.png"><img src="/user_uploads/4715/logwMAustdk5jQP9wtjm8o2u/2020-07-01_185350.png"></a></div>



<a name="202594255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202594255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202594255">(Jul 01 2020 at 16:54)</a>:</h4>
<p>I set the "main" prioritization stream to light blue and this stream to dark blue so I know which is which thanks to colors too</p>



<a name="202608708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608708">(Jul 01 2020 at 18:51)</a>:</h4>
<p>I see the colors but an easier way to differentiate between the streams is by the content</p>



<a name="202608733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608733">(Jul 01 2020 at 18:51)</a>:</h4>
<p>this stream should all be about issues and the other one should be about general discussions</p>



<a name="202608814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608814">(Jul 01 2020 at 18:52)</a>:</h4>
<p><a href="/user_uploads/4715/QxSsY-ryxrlIksJoXZPIGkR6/image.png">image.png</a></p>
<div class="message_inline_image"><a href="/user_uploads/4715/QxSsY-ryxrlIksJoXZPIGkR6/image.png" title="image.png"><img src="/user_uploads/4715/QxSsY-ryxrlIksJoXZPIGkR6/image.png"></a></div>



<a name="202608844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608844">(Jul 01 2020 at 18:52)</a>:</h4>
<p>vs</p>



<a name="202608846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608846">(Jul 01 2020 at 18:52)</a>:</h4>
<p><a href="/user_uploads/4715/UHpLwoiWqJn_G1KPmnnlnzWY/image.png">image.png</a></p>
<div class="message_inline_image"><a href="/user_uploads/4715/UHpLwoiWqJn_G1KPmnnlnzWY/image.png" title="image.png"><img src="/user_uploads/4715/UHpLwoiWqJn_G1KPmnnlnzWY/image.png"></a></div>



<a name="202608898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608898">(Jul 01 2020 at 18:53)</a>:</h4>
<p>and also ...</p>



<a name="202608907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608907">(Jul 01 2020 at 18:53)</a>:</h4>
<p><a href="/user_uploads/4715/RBRq2GuiwQ-m571KLZifcI6u/image.png">image.png</a></p>
<div class="message_inline_image"><a href="/user_uploads/4715/RBRq2GuiwQ-m571KLZifcI6u/image.png" title="image.png"><img src="/user_uploads/4715/RBRq2GuiwQ-m571KLZifcI6u/image.png"></a></div>



<a name="202608929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608929">(Jul 01 2020 at 18:53)</a>:</h4>
<p>the ... dots there :)</p>



<a name="202608955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608955">(Jul 01 2020 at 18:54)</a>:</h4>
<p>ah i thought everyone had the same colours (though i remember seeing a place where you can change it )</p>



<a name="202608990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202608990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202608990">(Jul 01 2020 at 18:54)</a>:</h4>
<p>anyway, I'm not opposed to change names if it's better for the rest</p>



<a name="202609010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202609010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202609010">(Jul 01 2020 at 18:54)</a>:</h4>
<p>i have a nice contrasting yellow and purple :D</p>



<a name="202609181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202609181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202609181">(Jul 01 2020 at 18:56)</a>:</h4>
<p>maybe we could flip it to `t-compiler/alerts-wg-prioritisation</p>



<a name="202622882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202622882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202622882">(Jul 01 2020 at 20:55)</a>:</h4>
<p>I think all WGs streams tend to have long names</p>



<a name="202623046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream%20events/near/202623046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/stream.20events.html#202623046">(Jul 01 2020 at 20:56)</a>:</h4>
<p>So maybe we could do something for all WGs? Would not including the team name (e.g. <code>wg-prioritization</code>) be fine?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>